destructor in python class